step(umc1,ps,tm(s,[ctxm(alpha_1_1_,umc,ip, (ip,umc1), (ip,umc1)),ctxm(alpha_1_1_,ps,ip, (ip,ps), (ip,ps))],pri(lst,[ctxm(alpha_1_1_,u,bsn,i_bsn,i_bsn),ctxm(alpha_1_1_,umc,dom, (dom,umc1), (dom,umc1))]))).
